Rosenzweig, equality, and assignment
نویسندگان
چکیده
منابع مشابه
A Tribute to Dean Rosenzweig
Dean Rosenzweig passed away in the second week of January 2007. I met Dean for the first time 24 years ago, during the winter School Foundation of Computation Theory Profs. Rasiowa, Karpinski and Kirin had organized at the Inter-University Centre for Post-graduate studies in Dubrovnik from 16.1. 29.1.1983. Dean attended my lectures on Complexity of Logical Theories and I noticed him as a partic...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملAggressive behavior and the Rosenzweig Picture-Frustration (P-F) Study.
The current status of the Rosenzweig Picture-Frustration (P-F) Study, a measure of aggressive verbal behavior in response to frustration at the developmental levels of the child, the adolescent and the adult, is described. Conceived as generically or essentially self-assertive, aggression can be viewed as affirmative or negative, constructive or destructive in effect. Six categories, three unde...
متن کاملEquality of complexity classes P and NP: Linear programming formulation of the quadratic assignment problem
In this paper, we present a first linear programming formulation of the Quadratic Assignment Problem (QAP). The proposed linear program is a network flow-based model with 0(n9) variables and 0(n7) constraints, where n is the number of assignments. Hence, it provides for the solution of the QAP in polynomial-time and represents therefore, a proof of the equality of the computational complexity c...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Mathematical Forum
سال: 2020
ISSN: 1314-7536,1312-7594
DOI: 10.12988/imf.2020.91299